int foo() { return 6; }